#include <stdio.h>
#include <string.h>
int main()
{
	char letter[26]= {'a','b','c','d','e','f','g','h','i','j','k','l','m','n','o','p','q','r','s','t','u','v','w','x','y','z'};
	int i = 0, j = 0, k = 0,flag = 0;
	char sentence[100];
	fgets(sentence, sizeof(sentence), stdin);
	int len = strlen(sentence);
	for (i = 0;i < 26;i++)
	{
		k = 0;
		for (j = 0; j < len; j++)
		{
			if (sentence[j] == letter[i])
			{
				k++;
			}
		}
		if (k > 0)
		{
			printf("%c:%d\n", letter[i], k);
			flag = 1;
		}
	}
	if (flag == 0)
	{
		printf("None");
	}
	return 0;
}
